منابع مشابه
Industrial–Strength Text Classifiers
The classification of texts is one of the most important cross-application technologies in information management. It is relevant to many tasks, including text filtering, information retrieval, and information extraction. In this paper, we describe the development and performance of a robust text classification suite, XM-XtraClass, suitable for industrial use. The classification components use ...
متن کاملIndustrial Strength Droid
The telecommunications industry has risen to become the modern era’s most crucial necessity. The world is now dependent on these means of global telecommunication, often taken for granted by many. Unfortunately, technicians often must undergo the burdensome task of locating sites of faulty equipment in order to keep our phone system functional. To facilitate the complex tasks of the technicians...
متن کاملIndustrial Strength Formal Using Abstractions
Verification of concurrent systems with thousands of multiple threads and transactions is a challenging problem not just for simulation or emulation but also for formal. To get designs to work correctly and provide optimal PPA the designers often use complex optimizations requiring sharing of multiple resources amongst active threads and transactions using FIFOs, stallers, pipelining, out-of-or...
متن کاملIndustrial-Strength Documentation for ACL2
The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts. High quality documentation is vital for teams that are working together on projects of this scale. We have developed XDOC, a flexible, scalable documentation tool for ACL2 th...
متن کاملTowards Industrial Strength Hyperbase Systems
The Programming Systems Laboratory (PSL) at Aalborg University has conducted research on hyperbase systems and open distributed hypermedia system architectures since 1987 (see Table 1); for a complete overview see [Wiil 1992b, 1993a]. A number of consecutive hyperbase projects have investigated a wide range of important issues in hyperbase system development and use. The issues involved in supp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemistry & Biology
سال: 2000
ISSN: 1074-5521
DOI: 10.1016/s1074-5521(00)00031-4